| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: vipr | Distribution: Fedora Project |
| Version: 1.1^20251029.30f2951 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Wed Dec 17 23:26:53 2025 |
| Group: Unspecified | Build host: buildvm-ppc64le-32.rdu3.fedoraproject.org |
| Size: 6031990 | Source RPM: vipr-1.1^20251029.30f2951-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: https://scipopt.org/ | |
| Summary: Verifying Integer Programming Results | |
VIPR is a software project to verify, in exact rational arithmetic, the correctness of results computed by mixed-integer linear programming solvers. It is based on an elementary file format for LP-based branch-and-cut certificates.
MIT AND LGPL-3.0-or-later
* Wed Dec 17 2025 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-1 - Initial RPM
/usr/bin/vipr2html /usr/bin/viprchk /usr/bin/viprchk_parallel /usr/bin/viprcomp /usr/bin/viprincomp /usr/bin/viprttn /usr/lib/.build-id /usr/lib/.build-id/00 /usr/lib/.build-id/00/b113f28abd3bd5491674791b453a2bf49f1c7e /usr/lib/.build-id/33 /usr/lib/.build-id/33/9b7f7500cd69b11a3f44e7e1e04a7eb93e8ce8 /usr/lib/.build-id/3b /usr/lib/.build-id/3b/1caf6ec65c8061791eb116e96268545fadd82e /usr/lib/.build-id/60 /usr/lib/.build-id/60/998b9fe213a856dad7366a033e3a384b783e99 /usr/lib/.build-id/cd /usr/lib/.build-id/cd/dfffe2961e4daa77ad732e73848531f7edf821 /usr/lib/.build-id/e5 /usr/lib/.build-id/e5/6648e3d846a0a40a58622b37710beb8f322bf1 /usr/share/doc/vipr /usr/share/doc/vipr/README.md /usr/share/doc/vipr/cert_spec_v1_0.md /usr/share/doc/vipr/cert_spec_v1_1.md
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Dec 19 23:52:35 2025